amsgen.dtx

---